Ada Ravenscar Code Archetypes for Component-Based Development
نویسندگان
چکیده
منابع مشابه
The ESA Ravenscar Benchmark
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS C implementation featuring the native threading model. ERB is original compared to existing Ada benchmarks, such as the ACES or the PIWG, not only because it is the first Ada Ravenscar benchmark, but also because it p...
متن کاملTransformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach
The Ravenscar Profile is a subset of Ada95 tasking model which removes the Ada’s unsafe real-time characteristics and allows high-integrity of system. By the Ravenscar Profile, Ada95 can meet the determinism on system behavior. It also allows schedulability analysis and formal verification on the concurrent model of system. But the formal verification may be additional hard works to improve val...
متن کاملDevelopment of embedded systems – from RTCP-net model to Ada code
The paper describes some aspects of the development of control embedded systems concerned with the transformation from a formal RTCP-net model into Ada 2005 source code. RTCP-nets have been defined, among other things, to equip coloured Petri nets with capability of direct modelling of elements typical for concurrent programming in Ada, such as task priorities, timeouts, etc. Hence, it is possi...
متن کاملTransparent Environment for Replicated Ravenscar Applications
This paper proposes an environment intended for the development of fault-tolerant real-time Ada 95 applications conforming to the Ravenscar profile. This environment is based on the transparent replication of application components, and it provides a set of generic task interaction objects, which are used as the basic building blocks of the supported applications. These objects provide the usua...
متن کاملGNAT Pro for On-board Mission-Critical Space Applications
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 computers. The static and simple tasking model defined by the Ravenscar profile allows for a streamlined implementation of the run-time system directly on top of bare machines. The reduced size and complexity of the run ti...
متن کامل